type 'a t = 'a Lazy.t
let force = lazy (fun x -> Lazy.force (Lazy.force x))
let force_val = lazy (fun x -> Lazy.force_val (Lazy.force x))
let lazy_from_fun = lazy (fun f -> Lazy.lazy_from_fun (Lazy.force f))
let lazy_from_val = lazy (fun v -> Lazy.lazy_from_val (Lazy.force v))
let lazy_is_val = lazy (fun v -> Lazy.lazy_is_val (Lazy.force v))
